Knihy od autora Reiner Hähnle

Zobrazeno 1 – 12 z 12 výsledků

1. 

   Handbook of Tableau Methods

   M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga | Springer, 1999

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   6578 Kč

   Koupit
2. 

   Automated Reasoning

   Jürgen Giesl, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-13 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3362 Kč

   Koupit
3. 

   Formal Methods for Components and Objects

   Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1533 Kč

   Koupit
4. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
5. 

   Tests and Proofs

   Bernhard Beckert, Reiner Hähnle | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
6. 

   Theorem Proving with Analytic Tableaux and Related Methods

   Peter Baumgartner, Reiner Hähnle, Joachim Posegga | Springer, Berlin, 1995

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
7. 

   Leveraging Applications of Formal Methods, Verification, and Validation

   Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
8. 

   Fundamental Approaches to Software Engineering

   Reiner Hähnle, Wil M. P. van der Aalst | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1830 Kč

   Koupit
9. 

   Deductive Software Verification: Future Perspectives

   Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Richard Bubel | Springer Nature Switzerland AG, 2020

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
10. 

    Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Amel Bennaceur, Reiner Hähnle, Karl Meinke | Springer International Publishing AG, 2018

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1977 Kč

    Koupit
11. 

    Deductive Software Verification - The KeY Book

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3907 Kč

    Koupit
12. 

    Handbook of Tableau Methods

    M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga | Springer, 2010

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    6578 Kč

    Koupit

Zboží zasíláme ihned nebo nejrychleji jak je to možné. Zjistěte více